Nuprl Definition : product-deq
0,22
postcript
pdf
product-deq(
A
;
B
;
a
;
b
) == <proddeq(
a
;
b
),prod-deq(
A
;
B
;
a
;
b
)>
latex
Definitions
prod-deq(
A
;
B
;
a
;
b
)
,
proddeq(
a
;
b
)
FDL editor aliases
product-deq
origin